Two categories of effective continuous cpos
نویسندگان
چکیده
منابع مشابه
Two categories of effective continuous cpos
This paper presents two categories of effective continuous cpos. We define a new criterion on the basis of a cpo as to make the resulting category of consistently complete continuous cpos cartesian closed. We also generalise the definition of a complete set, used as a definition of effective bifinite domains in [HSH02], and investigate what closure results that can be obtained.
متن کاملContinuous Cluster Categories Ii: Continuous Cluster-tilted Categories
We show that the quotients of the continuous cluster category Cπ and the rational subcategory X modulo the additive subcategory generated by any cluster are abelian categories and we show that they are isomorphic to categories of infinite and finite length modules, respectively, over the endomorphism ring of the cluster. These theorems extend the theorems of Caldero-ChapotonSchiffler and Buan-M...
متن کاملIn Vitro Cytotoxicity of Two Categories of Dental Cements
Background and Aim: Resin cements are used widely in restorative dentistry regardless of their biocompatibility. The aim of this study was to compare the cytotoxicity of two categories of dental cements consisting of three chemically set cements (Fuji I, Fuji PLUS and Harvard) and two dual curing cements (BisCem and Duo-Link) by use of MTT assay. Materials and Methods: In this experimental s...
متن کاملRediscovering Continuous Categories
This paper attempts to recreate the experiment of discovering continuous categories done originally by [2]. This endeavor is worthwhile because of the power categories can and do play in the functioning of a self-governing agent. This paper attempts to recreate the learning algorithm first developed by [2]. The learning algorithm is able to take raw sensor data and generalize over it through cl...
متن کاملContinuous Cluster-tilted Categories
We show that the quotients of the continuous cluster category Cπ and the rational subcategory X modulo the additive subcategory generated by any cluster are abelian categories and we show that they are isomorphic to categories of infinite and finite length modules, respectively, over the endomorphism ring of the cluster. These theorems extend the theorems of Caldero-ChapotonSchiffler and Buan-M...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2006
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2006.07.049